Back and Forth Relations for Reduced Abelian p-Groups
نویسنده
چکیده
In order to apply known general theorems about the effective properties of recursive structures in a particular recursive structure, it is necessary to verify that certain decidability conditions are satisfied. This requires the determination of when certain relations, called hack andforth relations, hold between finite strings of elements from the structure. Here we determine this for recursive reduced abelian p-groups, thus enabling us to apply these theorems.
منابع مشابه
The isomorphism problem for computable Abelian p-groups of bounded length
Theories of classification distinguish classes with some good structure theorem from those for which none is possible. Some classes (dense linear orders, for instance) are non-classifiable in general, but are classifiable when we consider only countable members. This paper explores such a notion for classes of computable structures by working out a sequence of examples. We follow recent work by...
متن کاملFinite $p$-groups and centralizers of non-cyclic abelian subgroups
A $p$-group $G$ is called a $mathcal{CAC}$-$p$-group if $C_G(H)/H$ is cyclic for every non-cyclic abelian subgroup $H$ in $G$ with $Hnleq Z(G)$. In this paper, we give a complete classification of finite $mathcal{CAC}$-$p$-groups.
متن کاملON THE n-BACK-AND-FORTH TYPES OF BOOLEAN ALGEBRAS
The objective of this paper is to uncover the structure of the back-andforth equivalence classes at the finite levels for the class of Boolean algebras. As an application, we obtain bounds on the computational complexity of determining the back-and-forth equivalence classes of a Boolean algebra for finite levels. This result has implications for characterizing the relatively intrinsically Σn re...
متن کاملnon-divisibility for abelian groups
Throughout all groups are abelian. We say a group G is n-divisible if nG = G. If G has no non-zero n-divisible subgroups for all n>1 then we say that G is absolutely non-divisible. In the study of class C consisting all absolutely non-divisible groups such as G, we come across the sub groups T_p(G) = the sum of all p-divisible subgroups and rad_p(G) = the intersection of all p^nG. The proper...
متن کاملTHE STRUCTURE OF FINITE ABELIAN p-GROUPS BY THE ORDER OF THEIR SCHUR MULTIPLIERS
A well-known result of Green [4] shows for any finite p-group G of order p^n, there is an integer t(G) , say corank(G), such that |M(G)|=p^(1/2n(n-1)-t(G)) . Classifying all finite p-groups in terms of their corank, is still an open problem. In this paper we classify all finite abelian p-groups by their coranks.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Ann. Pure Appl. Logic
دوره 75 شماره
صفحات -
تاریخ انتشار 1995